Freies Objekt

Freie Objekte werden in der abstrakten Algebra untersucht. Es handelt sich um algebraische Strukturen, in denen nur diejenigen Gleichungen gelten, die aus den definierenden Axiomen der algebraischen Struktur folgen, die also frei von weiteren Relationen sind. In der Kategorientheorie definiert man freie Objekte durch eine universelle Eigenschaft.